../mpn/generic/diveby3.c